Skip to content

Prevent type parameters in subtypes#1012

Merged
strub merged 1 commit into
mainfrom
prevent-subtype-type-variables
May 26, 2026
Merged

Prevent type parameters in subtypes#1012
strub merged 1 commit into
mainfrom
prevent-subtype-type-variables

Conversation

@oskgo
Copy link
Copy Markdown
Contributor

@oskgo oskgo commented May 20, 2026

Fixes #1005.

Co-authored-by: Copilot <copilot@github.com>
@oskgo oskgo requested a review from strub May 20, 2026 14:24
@strub strub self-assigned this May 26, 2026
@strub strub added this pull request to the merge queue May 26, 2026
Merged via the queue into main with commit e4944bc May 26, 2026
19 checks passed
@strub strub deleted the prevent-subtype-type-variables branch May 26, 2026 06:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Type parameter in subtype causes unbound type parameter

2 participants